Formal languages and analysis of contract-oriented software
نویسندگان
چکیده
منابع مشابه
Formal languages and analysis of contract-oriented software
In this work we present a visual model called CO Diagrams for the specification of e-contracts. This model includes specification of obligations, permissions, prohibitions, reparations and restrictions such as real time constraints. We also define a formal semantics of the visual model intended for the analysis and verification of the modeled contracts.
متن کاملOn Attributes of Objects in Object-Oriented Software Analysis
One of the modern paradigms to develop a system is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles. There is a sequence of activities to develop an analysis model. In the first step, we work in developing an initial use case model. Then in the second step, they identify a number of concepts and build a glossary of partic...
متن کاملContract Oriented Development of Component Software
We present a model for component software. We describe how components are specified at the interface level, design level and how they are composed. From its external view, a component consists a set of interfaces, provided to or required from its environment. From its internal view, a component is an executable code that can be coupled with other components via its interfaces. The developer has...
متن کاملCompositional Formal Analysis for Concurrent Object-Oriented Languages
Concurrency is a ubiquitous phenomenon in modern software ranging from distributed systems communicating over the Internet to communicating processes running onmulti-core processors and multi-processors. Therefore modern programming languages offer ways to program concurrency effectively. Still, writing correct concurrent programs is notoriously difficult because of the complexity of possible i...
متن کاملContract-Oriented Software Development for Internet Services
47 As recently as several years ago, technology gurus predicted that the next big trend in software system development would be service-oriented architecture: that is, a successful integration of loosely coupled services belonging to different organisations, sometimes competing but on specific tasks collaborating , would storm the world. This would create a myriad of new business opportunities,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2009
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2009.02.012